Deadlock Analysis and Routing on Free-Choice M Flow Lines Using a Matrix-Based Discrete Ev

We present an analysis for deadlock avoidance in manufacturing Flow-lines (FMRF). In FMRF, shared resources are not dedicated for certain jobs; choices in reentrant flow lines, i.e. routing decisions to be made. A Discrete Ev avoidance dispatching, which framework uses a rule-based matrix formulation, is u systems. The development of deadlock-free dispatching rules is derived from circu blocking situations. We analyze the so-called critical siphons, and certain critical develop deadlock-free dispatching. The DE controller guaranties deadlock av progress in the critical subsystems associated with each CW. This is the leastavoids deadlock. In this paper, we calculate in matrix form all constructions n controllers using online-deadlock-free dispatching rules, for the case of regular FM